fmap (g . f) = fmap g . fmap f